During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Continue readingDuring this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Continue readingThe Berkeley DB Book is a practical guide to the intricacies of the Berkeley DB. This book covers in-depth the complex design ...
Continue readingWill appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity ...
Continue readingThe Definitive Guide to Building Java Robots is for educators, students, hobbyists, and startups looking for Java/hardware ...
Continue readingShow you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...
Continue reading"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
Continue readingThe Game Makers Apprentice shows you how to create nine exciting games using the wildly popular Game Maker game creation ...
Continue readingThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Continue readingDiscover the power of one of the fastest growing programming languages in the world with this insightful new resource Guides ...
Continue readingThe papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
Continue readingConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Continue readingThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Continue readingThis book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
Continue readingThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Continue readingConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Continue readingThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue readingThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue readingThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Continue reading